Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
681	Notice: This opinion is subject to formal revision before publication in the Atlantic and Maryland Reporters. Users are requested to notify the Clerk of the Court of any formal errors so that corrections may be made befo Add to Reading List Source URL: legaltimes.typepad.com Language: English - Date: 2012-11-29 14:08:56 Skidmore v. Swift & Co. Taxation in the United States United Kingdom BAE Systems British Aerospace
682	THE SOFT GRID[removed]: Big Data & Utility Analytics for Smart Grid Research Excerpt A Greentech Media Company Add to Reading List Source URL: www.sas.com Language: English - Date: 2013-05-22 11:02:07 Formal sciences Emerging technologies Business intelligence Electric power transmission systems Transaction processing Analytics Smart grid Big data Greentech Media Technology Data management Data analysis
683	Simplifying Data Access: The Energy Data Collection (EDC) Project José Luis Ambite, Yigal Arens, Luis Gravano†, Vasileios Hatzivassiloglou†, Eduard Hovy, Judith Klavans†, Andrew Philpot, Usha Ramachandran, Ja Add to Reading List Source URL: www.cs.columbia.edu Language: English* - Date: 2000-12-14 09:55:13 Semantic Web Ontology Database management systems Information science Data integration WordNet Database Gene Ontology Formal ontology Information Knowledge representation Science
684	Portigal consulting Content, the Once and Future King Add to Reading List Source URL: www.portigal.com Language: English - Date: 2013-10-11 17:38:23 Database management systems Formal sciences Human–computer interaction Web 2.0 Pointer Battlestar Galactica Maneki Neko Big data Google Technology Computing World Wide Web
685	Proofs of Correctness in Mathematics and Industry Henk Barendregt Radboud University Nijmegen, The Netherlands July 11, 2007 Add to Reading List Source URL: ftp.cs.kun.nl Language: English - Date: 2008-10-02 17:25:47 Proof theory Logical syntax Formal systems Mathematical proofs Mathematical induction First-order logic Theorem Axiom Formal proof Logic Mathematics Mathematical logic
686	The Open Source Data Collector The Intelligent Data Collector: Acquire, Filter and Process Data Streams in Real-Time. What’s Fluentd? Fluentd is the leading opensource tool to collect and process data streams. Fluentd Add to Reading List Source URL: get.treasuredata.com Language: English - Date: 2015-01-26 01:54:57 Database management systems Data logger Recorders Technology Web analytics Business Database Analytics Business intelligence Data management Formal sciences
687	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
688	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
689	On Aggregating Teams of Learning Machines Sanjay Jain Department of Information Systems and Computer Science National University of Singapore Singapore 0511, Republic of Singapore Email: [removed] Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-03-10 23:00:58 Logic Computer science Theory of computation Automata theory Models of computation Computable function Computability Formal grammar Model theory Formal languages Theoretical computer science Computability theory
690	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods

UPDATE